1. After Godel : Platonism and rationalism in mathematics and logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical

رده :
QA
9
.
T53A34

2. An introduction to Godel's Theorems

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Godel numbers,، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical

رده :
QA
9
.
65
.
S64I5

3. An introduction to Godel's Theorems

پدیدآورنده :

کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (طهران)

موضوع : ، Godel numbers,، Godel, Kurt, 6091-8791,، Logic, Symbolic and mathematical

رده :
QA9
.
65
.
S6
2007

4. An introduction to Gödel's theorems /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Gödel, Kurt,Logic, Symbolic and mathematical

5. Foundations of mathematics. Symposium papers commemorating the sixtieth birthday of Kurt Godel

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Godel, Kurt

رده :
QA
9
.
F58

6. Gödel remembered :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Gödel, Kurt,Logic, Symbolic and mathematical, Congresses,Logiciens - États-Unis - Biographies,Logique symbolique et mathématique

رده :
QA9
.
A1
G63
1987

7. Gödel's theorem in focus /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Gödel, Kurt.,Gödel's theorem.,Gödel's theorem.,Gödel's theorem.,Logic, Symbolic and mathematical.

رده :
QA9
.
65
.
G63
1989

8. Interpreting Godel : critical essays

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic, Symbolic and mathematical,، Godel, Kurt Friedrich, 6091-8791,، Mathematics -- Philosophy

رده :
QA
9
.
2
.
I586

9. Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Godel

کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (طهران)

موضوع : Logic, Symbolic and mathematical,Semantics (Philosophy),Godel, Kurt

رده :
BC
135
.
M6